Nuprl Definition : w-val
11,40
postcript
pdf
val(
a
) == outr(
a
).2
latex
clarification:
w-val(
w
;
a
) == outr(
a
).2
latex
Definitions
outr(
x
)
,
t
.2
,
val(
a
)
FDL editor aliases
w-val
origin
